Optimization software

Results: 2622



#Item
601Computer programming / Constraint satisfaction / Constraint logic programming / ECLiPSe / Type system / Data type / Mathematical optimization / Function / Decomposition method / Constraint programming / Declarative programming / Software engineering

The Design of E SSENCE: A Constraint Language for Specifying Combinatorial Problems Alan M. Frisch1 Matthew Grum1 Bernadette Mart´ınez Hern´andez1 1

Add to Reading List

Source URL: www.cs.york.ac.uk

Language: English - Date: 2008-04-29 12:08:04
602Software engineering / Constraint satisfaction problem / Backtracking / Function / FO / Mathematical optimization / Decomposition method / Local consistency / Constraint programming / Mathematics / Theoretical computer science

Automatically Generating Algebra Problems Rohit Singh∗ Sumit Gulwani Sriram Rajamani

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2012-04-24 02:24:40
603Compiler optimizations / Compiler construction / Programming language implementation / GNU Compiler Collection / LLVM / Link-time optimization / Compiler / Gold / Standard Performance Evaluation Corporation / Software / Computing / Compilers

Charles University in Prague Faculty of Mathematics and Physics arXiv:1403.6997v1 [cs.PL] 27 MarMASTER THESIS

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2014-03-27 20:36:50
604Applied mathematics / Computer programming / Mathematical optimization / Heuristics / Job shop scheduling / Constraint satisfaction / A* search algorithm / Search algorithm / Heuristic function / Operations research / Constraint programming / Software engineering

Closing the Open Shop: Contradicting Conventional Wisdom Diarmuid Grimes1 , Emmanuel Hebrard1 , and Arnaud Malapert2 1 Cork Constraint Computation Centre & University College Cork, Ireland

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:31
605Microsoft Deployment Toolkit / Virtual machine / Windows / VMware Fusion / VMware Server / System software / Software / VMware

VMware Horizon with View Optimization Guide for Windows 7 and Windows 8 W H I T E PA P E R VMware Horizon with View Optimization Guide

Add to Reading List

Source URL: www.vmware.com

Language: English - Date: 2014-07-18 05:15:01
606Embedded systems / Wireless sensor network / TinyOS / NesC / Compiler optimization / Microcontroller / Compiler / Dataflow / Pointer / Computing / Software engineering / Programming language implementation

Nathan Cooprider — Research Statement 1229 University Village Salt Lake City, UThttp://www.cs.utah.edu/~coop home +

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2013-01-25 12:14:14
607Mac OS X / Industrial designs / Mac OS X Lion / Dock / Finder / Universal Serial Bus / Macintosh / Camera lens / Live USB / System software / Software / Computing

SIGMA Optimization Pro Instruction Manual TABLE OF CONTENTS TABLE OF CONTENTS 1

Add to Reading List

Source URL: www.sigma-global.com

Language: English - Date: 2014-04-18 01:15:30
608Search engine optimization / Web design / Content management systems / Robots exclusion standard / Blog software / Sitemaps / Site map / WordPress / Meta element / Software / Computing / World Wide Web

      Agillian  Site  Audit  2014    

Add to Reading List

Source URL: www.agillian.com

Language: English - Date: 2014-03-12 01:40:18
609Mathematics / Local consistency / Constraint satisfaction / Constraint optimization / Quadratic programming / Mathematical optimization / Quadratic equation / Interval arithmetic / Constraint programming / Software engineering / Computer programming

Constraint propagation on quadratic constraints Ferenc Domes, Arnold Neumaier Faculty of Mathematics, University of Vienna Nordbergstrasse 15, A-1090 Vienna, Austria March 19, 2008

Add to Reading List

Source URL: www.mat.univie.ac.at

Language: English - Date: 2009-01-15 06:59:38
610Software optimization / Computer programming / Spreadsheet / Lookup table / Function / Algorithm / Table / Filter / Computer / Mathematics / Computing / Computer performance

Spreadsheet Table Transformations from Examples William R. Harris ∗ Sumit Gulwani Dept. of Computer Sciences

Add to Reading List

Source URL: research.microsoft.com

Language: English
UPDATE